Understanding Tool-Integrated Reasoning
arxiv.org·4h
🔗Constraint Handling
Dependent types I › Universes, or types of types
jonmsterling.com·2h·
Discuss: Hacker News
🔤Type Theory
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·16h
⬆️Lambda Lifting
k-NN Classification and Model Evaluation
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·13h·
Discuss: Hacker News
🧮Algebraic Datatypes
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·1d
🗂️Vector Databases
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Show HN: Auto-Match – How We Built Receipt-to-Transaction Matching (Open Source)
midday.ai·25m·
Discuss: Hacker News
🔤EBCDIC Mining
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·20h
🎯Gradual Typing
Implementing Forth in Go and C
eli.thegreenplace.net·4h·
Discuss: Hacker News
🔗Concatenative Programming
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·18h
📐Geometric Hashing
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·18h·
Discuss: DEV
🔒WASM Capabilities
Why Stacking Sliding Windows Can't See Far
guangxuanx.com·3h·
Discuss: Hacker News
🧮Kolmogorov Complexity
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·4h
🧠Intelligence Compression